|
|
Workshop Report 18th Workshop on Logic-based Methods in Programming Environments
Damiano Zanardini
Facultad de Informática Universidad Politécnica de Madrid Spain
|
|
Editor: Enrico Pontelli
|
The
18th edition of the workshop on Logic-based methods in Programming
Environments took place in Udine on Dec 12th, 2008. In the last
editions, the workshop has been co-located with the International
Conference on Logic Programming (ICLP). The 2008 edition followed
this trend.
Among the received submissions, 8 papers have been accepted and presented at the workshop.
The
workshop began with an invited talk by Andy King, from the University
of Kent (UK). His talk was about using the tools of logic programming
in the security industry. The content of Andy's talk was inspired
by his current collaboration with Portcullis Computer Security Limited
(UK), an enterprise actively working in security and program analysis,
and interested in the results of academic research in these fields.
The
morning session consisted of four talks, the first two of them, by
respectivley Yoshihiro Adachi and Jens Bendisposto, basically focused
on visual programming environments for Prolog. The last two talk,
by Miguel Gómez-Zamalloa and Ulrich Neumerkel, respectively, dealt with
program analysis techniques for Prolog, namely, partial evaluation and
termination analysis.
Four more talks were presented in the
afternoon session. Victor Pablos Ceruelo presented RFuzzy, a
modern framework modelling multi-adjoint logic. In the second
talk of the session, Salvador Tamarit discussed several improvements
for increasing the accuracy of the size-change analysis, an important
part of offline partial evaluation of logic programs. The
combination of call-time choice and run-time choice as the semantics of lazy functional logic languages was the topic of the third talk, given by Francisco Javier López-Fraguas.
Finally, Adrian Prantl presented the design and implementation of a
generalized loop constraint analysis, which plays an important role as
a component of worst case execution time (WCET) analysis.
A total of 25 people attended the workshop, in spite of the overlapping with the activities of ICLP and of the other satellite workshops.
The proceedings will be published in the CoRR repository; a printed
copy was also distributed to the participants during the workshop.
The details and the final versions of the accepted papers can be found at the workshop website
We
conclude by acknowledging the PC members, the external referees, all
the participants, the ICLP chair Agostino Dovier, all the people
organizing the main conference, and ICLP supporting, sponsoring and
patronating institutions. WLPE was partially funded by the
project S-0505/TIC/0407 'PROMESAS-CAM' of the Comunidad de Madrid, the
Spanish projects TIN2005-09207-C03-03 'MERIT-FORMS' and
TIN2008-06622-C03-01 'FAST-STAMP', and the European Community project
015905, 'MOBIUS'.
|